1

Axiomatic Systems, Conceptual Schemes, and the Consistency of Mathematical Theories

Year:
1954
Language:
english
File:
PDF, 432 KB
english, 1954
3

Conceptual Schemes in Set Theory

Year:
1957
Language:
english
File:
PDF, 281 KB
english, 1957
6

Church-Rosser Thue systems and formal languages

Year:
1988
Language:
english
File:
PDF, 1.53 MB
english, 1988
7

Axiomatization of Infinite Valued Logicsby J. Barkley Rosser

Year:
1962
Language:
english
File:
PDF, 140 KB
english, 1962
8

Market Orientation and Firm Value

Year:
2001
Language:
english
File:
PDF, 204 KB
english, 2001
10

Scheduling with Deadlines and Loss Functions

Year:
1959
Language:
english
File:
PDF, 828 KB
english, 1959
11

Switching Circuits and Logical Design.by Samuel H. Caldwell

Year:
1959
Language:
english
File:
PDF, 294 KB
english, 1959
12

The folded tree

Year:
1955
Language:
english
File:
PDF, 1.04 MB
english, 1955
13

The Burnside problem for semigroups

Year:
1975
Language:
english
File:
PDF, 465 KB
english, 1975
14

Infinite games played on finite graphs

Year:
1993
Language:
english
File:
PDF, 2.60 MB
english, 1993
15

The finiteness of finitely presented monoids

Year:
1998
Language:
english
File:
PDF, 976 KB
english, 1998
16

Contributions of Ronald V. Book to the theory of string-rewriting systems

Year:
1998
Language:
english
File:
PDF, 873 KB
english, 1998
21

Some Formal Relative Consistency Proofs

Year:
1953
Language:
english
File:
PDF, 996 KB
english, 1953
23

Introduction to Mathematical Logic. Volume Iby Alonzo Church

Year:
1958
Language:
english
File:
PDF, 102 KB
english, 1958
25

Introduction to Formal Languages (G. E. Revesz)

Year:
1989
Language:
english
File:
PDF, 151 KB
english, 1989
28

A Metrical Concept of Happiness

Year:
1953
Language:
english
File:
PDF, 1.05 MB
english, 1953
29

The Irreducibility of Impredicative Principlesby Hao Wang

Year:
1953
Language:
english
File:
PDF, 303 KB
english, 1953
31

6163

Year:
1979
Language:
english
File:
PDF, 210 KB
english, 1979
32

E2638

Year:
1978
Language:
english
File:
PDF, 193 KB
english, 1978
33

E3413

Year:
1992
Language:
english
File:
PDF, 227 KB
english, 1992
34

A Non-Standard Truth Definition

Year:
1954
Language:
english
File:
PDF, 182 KB
english, 1954
40

[Advances in Computers] Advances in Computers Volume 2 Volume 2 || The Theory of Automata, a Survey

Year:
1961
Language:
english
File:
PDF, 3.48 MB
english, 1961
44

The folded tree

Year:
1955
Language:
english
File:
PDF, 627 KB
english, 1955
49

The loop complexity of regular events

Year:
1969
Language:
english
File:
PDF, 1.35 MB
english, 1969